type T = { a: number } & ({ b: number })